Reformulation de problèmes de satisfaction de contraintes basée sur des métamodèles

Un des challenges importants en programmation par contraintes est la reformulation de modèles déclaratifs en programmes exécutables permettant de calculer leurs solutions. Cette phase peut nécessiter de faire des traductions entre les langages de la programmation par contraintes, de changer la représentation des contraintes ou d’optimiser les modèles et de paramétrer les stratégies de recherche. Dans cet article, nous présentons un métamodèle pivot qui prend en compte les structures communément rencontrées dans les modèles en programmation par contraintes. Ce métamodèle comprend ainsi plusieurs types de contraintes, des structures conditionnelles ou des boucles, mais aussi les concepts de classe et de prédicat. Ce métamodèle est suffisamment général pour s’adapter aux structures de la plupart des langages, comme les langages orientés-objet ou les langages basés sur la logique, tout en en restant indépendant. Les opérations de reformulation traitent des instances du métamodèle pivot indépendamment des langages contraintes. Ainsi, les opérations définies sont génériques et s’appliquent quelques soient les langages choisis. L’espace des langages est relié à l’espace des métamodèles à l’aide d’analyseurs lexicaux et grammaticaux. Les outils de l’ingénierie logicielle peuvent alors être utiliser pour implémenter un tel cadre de transformation pour les modèles contraintes.